Two Hebrew Fragments from Unknown Redactions of Abraham Ibn Ezra'sSefer ha-MivḥarimandSefer ha-Šeʾelot

Matai nosad ha-defus ha-`ivri be-Qraqov? [Hebrew: When Did Hebrew Printing Begin in Cracow?]

Some Weak Fragments of HA and Certain Closure Properties

We show that Intuitionistic Open Induction iop is not closed under the rule DNS(∃1 ). This is established by constructing a Kripke model of iop+¬Ly(2y > x), where Ly(2y > x) is universally quantified on x. On the other hand, we prove that iop is equivalent with the intuitionistic theory axiomatized by PA− plus the scheme of weak ¬¬LNP for open formulas, where universal quantification on the par...

H-theories, fragments of HA and PA-normality

For a classical theory T , H(T ) denotes the intuitionistic theory of T -normal (i.e. locally T ) Kripke structures. S. Buss has asked for a characterization of the theories in the range of H and raised the particular question of whether HA is an H-theory. We show that T i ∈ range(H) iff T i = H(T ). As a corollary, no fragment of HA extending iΠ1 belongs to the range of H. A. Visser has alread...

بررسی رفتار مکانیکی پوشش‌های ساده و نانوکامپوزیتی HA ،HA-TiO2 و HA-TiO2-CNT ایجاد شده به روش الکتروفورتیک

در این پژوهش پوشش­های نانوکامپوزیتی هیدروکسی­آپاتیت-اکسید تیتانیم (HA-TiO2) و هیدروکسی­آپاتیت-اکسید تیتانیم- نانولوله­های کربنی (HA-TiO2-CNT) توسط فرآیند الکتروفورتیک در ولتاژ 20 ولت و زمان 4 دقیقه بر روی زیرلایه­ای از جنس فولاد زنگ نزن316L  ایجاد شد. به منظور ساخت سوسپانسیون پایدار از ایزوپروپانل به عنوان حلال و از تری اتانول آمین به عنوان پراکنده­ساز استفاده شد. ریزساختار و توزیع نانوذرات تقو...

RFC 4433 Dynamic HA Assignment

This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this protocol. Distribution of this memo is unlimited. Abstract Mobile IPv4 (RFC 3344) uses the home agent (HA) to a...